document.write("<p>javascript_files()</p>");